The co-occurrence of stress-induced posttraumatic stress disorder (PTSD) and obesity is common, particularly among military personnel but the link between these conditions is unclear. Individuals with comorbid PTSD and obesity manifest other physical and psychological problems, which significantly diminish their quality of life. Current understanding of the pathways connecting stress to PTSD and obesity is focused largely on behavioral mediators alone with little consideration of the biological regulatory mechanisms that underlie their co-occurrence. In this work, we leverage prior knowledge to (...) systematically highlight such bio-behavioral mechanisms and inform on the design of confirmatory pilot studies. We use natural language processing (NLP) to extract documented regulatory interactions involved in the metabolic response to stress and its impact on obesity and PTSD from over 8 million peer-reviewed papers. The resulting network describes the propagation of stress to PTSD and obesity through 34 metabolic mediators using 302 documented regulatory interactions supported by over 10,000 citations. Stress jointly affected both conditions through 21 distinct pathways involving only two intermediate metabolic mediators out of a total of 76 available paths through this network. Moreover, oxytocin (OXT), Neuropeptide-Y (NPY), and cortisol supported an almost direct propagation of stress to PTSD and obesity with different net effects. Although stress upregulated both NPY and cortisol, the downstream effects of both markers are reported to relieve PTSD severity but exacerbate obesity. The stress-mediated release of oxytocin, however, was found to concurrently downregulate the severity of both conditions. These findings highlight how a network-informed approach that leverages prior knowledge might be used effectively in identifying key mediators like OXT though experimental verification of signal transmission dynamics through each path will be needed to determine the actual likelihood and extent of each marker’s participation. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Spatializing Culture: The Ethnography of Space and Place by Setha LowCarlos J. L. BalsasSpatializing Culture: The Ethnography of Space and Placeby setha low London: Routledge, 2017Spatializing Culture: The Ethnography of Space and Place adds clarity to our understanding of the value of ethnographic scholarship in the study of socio-economic, cultural, and developmental transformations. The book is a thorough review of two established conceptual frames of analysis—the social production (...) of space and the social construction of space—coupled with an in-depth discussion of four newer ways to make sense of the world around us: embodied space, language and discourse, emotion and affect, and translocal space. As the world is transformed by a myriad of forces and events occurring simultaneously, its complexity intensifies insurmountably and we require clear and robust concepts, theories, methods, and tools to not only interpret it, but above all to attempt to change it in ways that are more beneficial to our collective co-existence while enabling the flourishing of those most at risk.Readers of Spatializing Culture will find plentiful theoretical constructs, lineages, diverse viewpoints, examples, and overall opportunities for reflecting on how the (built) environment, spaces, and places have been changing mostly due to our behavior. Inspired by Foucault’s take on genealogy, in chapter 2, Setha Low traces the history of space and place according to distinct interpretative schools of thought ranging from philosophical and mathematical, French social theory, geographical, architectural, environmental psychology, to anthropological, and even archeological. Five Venn diagrams are utilized to illustrate the main conceptual relationships between space and place. Most of the book’s in-depth case studies were researched by the author with only a small number investigated and written up by fellow scholars, which Low utilizes in the book with gratitude. The interrelated thematic and distinct geographical scope of the cases is one of the book’s hallmarks. The illustrative case studies come from such faraway places as Latin America (San José, Costa Rica), Asia (Taipei, Taiwan), North America (New York City; Washington, D.C.; Philadelphia, Pennsylvania; and San [End Page 151] Antonio, Texas), Southern Europe (Smederevska Palanka, Serbia), and the Middle East (Beirut, Lebanon; Cairo, Egypt; and Tel Aviv, Israel).Spatializing Culture was first mentioned to me years ago by a former colleague at the University at Albany, SUNY. His ongoing work in Latin America, coupled with his ethnographic training and prior work in a region of the world also extensively examined by Low in other scholarly works, was likely the reason for bringing it up in a conversation about the latest developments in the field and potential research opportunities. I acquired the book when I was teaching Global Urbanism and Culture and International Urban Planning. I was pleasantly surprised with the book’s thorough conceptual lineage, historic characterizations, attention to detail, comprehensive ethnographic investigations, and implications for transforming reality as well as institutional processes. Spatializing Culture is a welcome addition to urban planning textbooks, which tend to be relatively less critical, are often covered with normative constructs and statistics, and are more institutional in their characterization of problems and recommendations for further action.For the most part, the ethnographic method is qualitative, participa-tory, detailed, and quite comprehensive in characterizing key variables as the researcher found them on the ground. This differs slightly from urban planning’s preoccupation with public policy, policy analysis, rules and regulations, institutionalized procedures, the public good, and overall positivist and rationalist concerns with documenting reality and helping to lead transformative planning processes, whether in the realm of land use, transportation, housing, economic development, infrastructure, or the environment. Although International Urban Planning was to be taught in a rather orthodox manner with recourse to understanding planning cultures, best practices, lessons learned, and implications for similar situations, the Global Urbanism and Culture course was slightly more aligned with the discussions put forward by Low. These included attention to postmodern ideals, the use of creativity in community planning, distinctions between popular and highbrow culture, and the building of iconic structures in contexts of urban regeneration and mega-event planning. As such, my students were somewhat already exposed to issues of embodied spaces and to ideas of... (shrink)

Whatever its ultimate philosophical merits, it is often thought that the growing block theory presents an intuitive picture of reality that accords well with our pre-reflective or folk view of time, and of the past, present, and future. This is partly motivated by the idea that we find it intuitive that, in some sense, the future is open and the past closed, and that the growing block theory is particularly well suited to accommodate this being so. In this paper, we (...) empirically investigate three claims. First, that people's intuitive or pre-reflective sense that the future is open is at least partly captured by there being truth-gaps for future contingents: what we call alethic openness. Second, that people, perhaps tacitly, believe that the fact that the future is alethically open is a reason to endorse the growing block theory; and third, that part of what explains why people tend to naively represent our world as a growing block is that they represent the future as alethically open. We found evidence in support of the first two claims. We consider the implications of these findings for several debates in the philosophy of time. (shrink)

As basic as epistemological questions might be, they all depend upon a far more fundamental question, which must be faced squarely, if a man is to be ever really sure. That question is simply stated: ‘What is knowing?’ So basic is it, indeed, that only when the answer is forthcoming will those phantoms of validity and truth, of certitude and synthesis, be dissolved once and for all.

OF all the things that Plato was, he was primarily a philosopher and a metaphysician. Should this statement seem merely to emphasize the obvious; then let us explain why so simple a statement should rate special mention. There have always been those who are too willing to look upon the author of the ‘Theory of Ideas’ as an artist, a mystic, a poet but not a metaphysician. In this view, Plato’s Ideas are understandable only through the analysis of the personality (...) of an artist; it is a view which interjects far too much of the subjective into what must be seen as the objective ground for his whole philosophy. The possibility of such conflicting views on Plato can be explained by the fact that nowhere does Plato present in his writings a truly definitive Theory of Ideas and a workable proof for them. Some like Stewart require the assistance of psychology to examine Plato. Fite, on a priori grounds, makes a feeble attempt to take Plato out of the realm of any metaphysics whatsoever. Grote confuses reason and myth until nothing remains of Plato but a kind of mixed-up jumble. Others, of course, are loyal to the commitments of a critic and endeavour to discover the meaning of Plato and to present it fairly and honestly. (shrink)

There is a virtual consensus among commentators on Descartes that the causal principle by which he relates the objective reality of his ideas to the formal reality of their causes isindefensible. In particular, Descartes’ claim that this principle follows from the general principle which states that the cause must contain at least as much reality as the effect has been examined and rejected as logically implausible. I challenge this view by showing that there is a logically plausible derivation of the (...) causal principle of ideas from the general causal principle. This result has important implications due to the crucial role the causal principle of ideas plays in Descartes’ first a posteriori argument for the existence of God. (shrink)

Present-bias is the preference, all else being equal, for positive events to be located in the present rather than the non-present, and for negative events to be located in the non-present rather than the present. Very little attention has been given to present-bias in the contemporary literature on time biases. This may be because it is often assumed that present-bias is not a distinctive psychological kind; that what explains people’s being present-biased is just what explains them displaying various other time-biases. (...) According to this view, there is no need to investigate present-bias independently of investigating these other biases, since present-bias is really just a manifestation of these other biases. We call this the manifestation thesis. We take up the question of whether the manifestation thesis is true, and argue that it is not. Thus, by failing to investigate present-bias in its own right we are failing fully to understand the spectrum of ways in which people display time biases. In turn, we suggest, this may have implications for the ways we evaluate whether present-bias is rationally permissible. (shrink)

Faces provide information about a person's identity, as well as their sex, age, and ethnicity. People also infer social and personality traits from the face — judgments that can have important societal and personal consequences. In recent years, deep convolutional neural networks (DCNNs) have proven adept at representing the identity of a face from images that vary widely in viewpoint, illumination, expression, and appearance. These algorithms are modeled on the primate visual cortex and consist of multiple processing layers of simulated (...) neurons. Here, we examined whether a DCNN trained for face identification also retains a representation of the information in faces that supports social‐trait inferences. Participants rated male and female faces on a diverse set of 18 personality traits. Linear classifiers were trained with cross validation to predict human‐assigned trait ratings from the 512 dimensional representations of faces that emerged at the top‐layer of a DCNN trained for face identification. The network was trained with 494,414 images of 10,575 identities and consisted of seven layers and 19.8 million parameters. The top‐level DCNN features produced by the network predicted the human‐assigned social trait profiles with good accuracy. Human‐assigned ratings for the individual traits were also predicted accurately. We conclude that the face representations that emerge from DCNNs retain facial information that goes beyond the strict limits of their training. (shrink)

The faces of both adults and children can be classified accurately by sex, even in the absence of sex‐stereotyped social cues such as hair and clothing (Wild et al., 2000). Although much is known from psychological and computational studies about the information that supports sex classification for adults' faces, children's faces have been much less studied. The purpose of the present study was to quantify and compare the information available in adults' versus children's faces for sex classification and to test (...) alternative theories of how human observers distinguish male and female faces for these different age groups. We implemented four computational/neural network models of this task that differed in terms of the age categories from which the sex classification features were derived. Two of the four strategies replicated the advantage for classifying adults' faces found in previous work. To determine which of these strategies was a better model of human performance, we compared the performance of the two models with that of human subjects at the level of individual faces. The results suggest that humans judge the sex of adults' and children's faces using feature sets derived from the appropriate face age category, rather than applying features derived from another age category or from a combination of age categories. (shrink)

Using a longitudinal case study design, we have tracked the recovery of motor function following severe traumatic brain injury (TBI) through a multimodal neuroimaging approach. In 2006, Canadian Soldier Captain (retired) Trevor Greene (TG) was attacked with an axe to the head while on tour in Afghanistan. TG continues intensive daily rehabilitation, which recently included the integration of physical therapy (PT) with neuromodulation using translingual neurostimulation (TLNS) to facilitate neuroplasticity. Recent findings with PT+TLNS demonstrated that recovery of motor function occurred (...) beyond conventional time limits, currently extending past 14-years post-injury. To investigate whether PT+TLNS similarly resulted in associated cognitive function improvements, we examined event-related potentials (ERPs) with the brain vital signs framework. In parallel with motor function improvements, brain vital signs detected significant increases in basic attention (as measured by P300 response amplitude) and cognitive processing (as measured by contextual N400 response amplitude). These objective cognitive improvements corresponded with TG’s self-reported improvements, including a noteworthy and consistent reduction in ongoing symptoms of post-traumatic stress disorder (PTSD). The findings provide valuable insight into the potential importance of non-invasive neuromodulation in cognitive rehabilitation, in addition to initial indications for physical rehabilitation. (shrink)

People recognize faces of their own race more accurately than faces of other races. The “contact” hypothesis suggests that this “other‐race effect” occurs as a result of the greater experience we have with own‐ versus other‐race faces. The computational mechanisms that may underlie different versions of the contact hypothesis were explored in this study. We replicated the other‐race effect with human participants and evaluated four classes of computational face recognition algorithms for the presence of an other‐race effect. Consistent with the (...) predictions of a developmental contact hypothesis, “experience‐based models” demonstrated an other‐race effect only when the representational system was developed through experience that warped the perceptual space in a way that was sensitive to the overall structure of the model's experience with faces of different races. When the model's representation relied on a feature set optimized to encode the information in the learned faces, experience‐based algorithms recognized minority‐race faces more accurately than majority‐race faces. The results suggest a developmental learning process that warps the perceptual space to enhance the encoding of distinctions relevant for own‐race faces. This feature space limits the quality of face representations for other‐race faces. (shrink)

This paper develops a general language of event configurations to discuss and compare various modes of proposition formation. It is shown that any finite orthogonality space can be numerically encoded. This encoding is applied to show that the quasimanual of all orthogonal subsets of any finite point-determining orthogonality space may be decomposed into a union of manuals and that the logic of these quasimanuals may be regarded as a composite of interlocking associative orthoalgebras.

A fundamental discussion in lower-level undergraduate neuroscience and psychology courses is Descartes’s “radical” or “mind-body” dualism. According to Descartes, our thinking mind, the res cogitans, is separate from the body as physical matter or substance, the res extensa. Since the transmission of sensory stimuli from the body to the mind is a physical capacity shared with animals, it can be confused, misled, or uncertain (e.g., bodily senses imply that ice and water are different substances). True certainty thus arises from within (...) the mind and its capacity to doubt physical stimuli. Since this doubting mind is a thinking thing that is distinct from bodily stimuli, truth and certainty are reached through the doubting mind as cogito ergo sum, or the certainty of itself as it thinks: hence Descartes’s famous maxim, I think, therefore I am. However, in the last century of Western philosophy, with nervous system investigation, and with recent advances in neuroscience, the potential avenues to explore student’s understanding of the epistemology and effects of Cartesian mind-body dualism has expanded. This article further explores this expansion, highlighting pedagogical practices and tools instructors can use to enhance a psychology student’s understanding of Cartesian dualistic epistemology, in order to think more critically about its implicit assumptions and effects on learning. It does so in two ways: first, by offering instructors an alternative philosophical perspective to dualistic thinking: a mind-body holism that is antithetical to the assumed binaries of dualistic epistemology. Second, it supplements this philosophical argument with a practical component: simple mind-body illusions that instructors may use to demonstrate contrary epistemologies to students. Combining these short philosophical and neuroscience arguments thereby acts as a pedagogical tool to open new conceptual spaces within which learning may occur. (shrink)

Creativity is the hallmark of human intelligence. Roli et al. (Frontiers in Ecology and Evolution 9:806283, 2022) state that algorithms cannot achieve human creativity. This paper analyzes cooperation between humans and intelligent algorithmic tools to compensate for algorithms’ limited creativity. The intelligent tools have functionality from the neocortex, the brain’s center for learning, reasoning, planning, and language. The analysis provides four key insights about human-tool cooperation to solve challenging problems. First, no neocortex-based tool without feelings can achieve human creativity. Second, (...) an interactive tool exploring users’ feeling-guided creativity enhances the ability to solve complex problems. Third, user-led abductive reasoning incorporating human creativity is essential to human-tool cooperative problem-solving. Fourth, although stakeholders must take moral responsibility for the adverse impact of tool answers, it is still essential to teach tools moral values to generate trustworthy answers. The analysis concludes that the scientific community should create neocortex-based tools to augment human creativity and enhance problem-solving rather than creating autonomous algorithmic entities with independent but less creative problem-solving. (shrink)

This collection of recent articles by leading scholars is designed to illuminate one of the greatest and most influential philosophical books of all time. It includes incisive commentary on every major theme and argument in the Meditations, and will be valuable not only to philosophers but to historians, theologians, literary scholars, and interested general readers.

This article addresses the question of whether early Pleistocene hominins are plausibly viewed as having possessed a protolanguage, that is, a communication system exemplifying some but not all of the distinctive features of fully modern human language. I argue that the answer is “yes,” mounting evidence from the early Pleistocene “lithics niche.” More specifically, I first describe a cognitive platform that I think would have been sufficient, given appropriate socio-ecological conditions, for the creation and retention of a protolanguage. Then, using (...) archaeological evidence pertaining to hominin lithic behavior from the early Pleistocene, I attempt to make plausible the idea that each of these cognitive abilities were in fact in place by this point in hominin evolutionary history and also that the requisite socio-ecological conditions were satisfied. (shrink)

Purpose: This conceptual-epistemological paper deals with the old problem of inversion of thinking, as typified by traditional metaphysics-ontology. It is proposed that a thorough constructivism -- which views structures of mind, nature, and all, as not derived from (not referring to) any pre-structured given mind-independent reality (zero-derivation, 0-D) -- can go beyond this conceptual impasse; it can also serve as a fall-back position for positive ontologies. Practical implications: The practical result of 0-D is that all structures of experience are understood (...) as tools serving individual and collective subjects. Conclusion: This conceptual correction results in a simplification for the understanding of some conceptual puzzles, such as the mind-brain relation, but also in a considerable increase of responsibility, because entities and agents formerly considered responsible, and outside the mind, are recognized to be extensions of the subjects. (shrink)

In this paper, we introduce the Societal Readiness Thinking Tool to aid researchers and innovators in developing research projects with greater responsiveness to societal values, needs, and expectations. The need for societally-focused approaches to research and innovation—complementary to Technology Readiness frameworks—is presented. Insights from responsible research and innovation concepts and practice, organized across critical stages of project-life cycles are discussed with reference to the development of the SR Thinking Tool. The tool is designed to complement not only shortfalls in TR (...) approaches, but also improve upon other efforts to integrate RRI, sustainability, and design thinking in research and innovation cycles. Operationalization and early-stage user tests of the Tool are reported, along with discussion of potential future iterations and applications. (shrink)

Peripersonal space (PPS) is frequently defined as a plastic, pragmatic and goal-directed multisensory buffer that connects the brain-body with its immediate environment. While such characterisations indicate that peripersonal spatiality is profoundly embodied and enactive, comparatively few attempts have aimed to systematically synthesise PPS literature with compatible phenomenological accounts of lived space provided by Heidegger and Merleau-Ponty. Moreover, in traditional cognitive neuroscience, neurophysiological activity is thought to map onto discrete ‘cognitive correlates’. In contemporary 4E approaches to cognition, however, phenomenology-derived notions such (...) as ‘pre-reflective cognition’ and ‘motor-intentionality’ frequently appear, yet their neural correlates may be comparatively difficult to pin down. Pre-reflectively, agents seemingly do not thematise spatial properties as operationalised in key experimental paradigms (e.g., spatial rotation tasks) but are instead inherently spatially embedded within the world. To refine this distinction, I survey how tools co-determine this distinctly spatial ‘world-embeddedness’ using a neurophenomenological methodology (Varela, _Journal of Consciousness Studies, 3_(4), 330–349, 1996 ). Specifically, I conduct two neurophenomenological analyses of tool-perception and tool-use, examining both how distance modulates affordance-perception and how tool-use remaps bodily space via the withdrawal of tools from intentional-objects into co-constituting motor-intentionality itself. I conclude by briefly distinguishing this interpretation of spatial cognition from cognitivist frameworks. Thereafter, I briefly highlight the temporal scaffolding underlying PPS while conceptually grounding my account within Embodied Simulation Theory (Gallese, _Reti, Saperi, Linguaggi_, (1), 31–46, 2018 ). What is at stake is thus both an explicitly embodied-enactive account of bodily space that is qualitative and situational instead of quantitative and positional, as well as a viable, interdisciplinary strategy for unifying pre-reflective cognition with neurophysiological data. (shrink)

In this commentary on Osiurak and Reynaud's target article, we argue that action is largely missing in their account of the ascendance of human technological culture. We propose that an action-based developmental account can help to bridge the cognitive-sociocultural divide in explanations of the discovery, production, and cultural transmission of human tool use.

Family carers of individual’s living with Huntington’s Disease (HD) manage a distinct and unique series of difficulties arising from the complex nature of HD. This paper presents the validation of the definitive measure of quality of life for this group. The Huntington’s Disease Quality of Life Battery for carers (HDQoL-C) was expanded and then administered to an international sample of 1716 partners and family carers from 13 countries. In terms of the psychometric properties of the tool, exploratory analysis of half (...) of the sample, demonstrated good internal consistency and reliability. Some items on the full version did not meet psychometric thresholds and a short version (HDQoL-Cs) was developed based on more stringent criteria. Confirmatory Factor Analysis of the model structure showed a good fit for all Factors and, indicated that the HDQoL-C and HDQoL-Cs are psychometrically robust measures of quality of life. We found that carers who lived with and looked after their spouse/partner had reduced sense of coping, hope for the future and overall quality of life. Carers with children who were at risk, carried the gene or were symptomatic also had poorer quality of life outcomes. Findings indicated the HDQoL-C and HDQoL-Cs are valid in multiple languages and across varied cultures as measures of self-reported quality of life in family carers of individual’s living with HD. These psychometrically validated tools can aid and guide the implementation of therapeutic interventions to improve life quality in this population. (shrink)

The power of technology to transform religions, science, and political institutions has often been presented as nothing short of revolutionary. Does technology have a similarly transformative influence on societies’ morality? Scholars have not rigorously investigated the role of technology in moral revolutions, even though existing research on technomoral change suggests that this role may be considerable. In this paper, we explore what the role of technology in moral revolutions, understood as processes of radical group-level moral change, amounts to. We do (...) so by investigating four historical episodes of radical moral change in which technology plays a noteworthy role. Our case-studies illustrate the plurality of mechanisms involved in technomoral revolutions, but also suggest general patterns of technomoral change, such as technology’s capacity to stabilize and destabilize moral systems, and to make morally salient phenomena visible or invisible. We find several leads to expand and refine conceptual tools for analysing moral change, specifically by crystallizing the notions of ‘technomoral niche construction’ and ‘moral payoff mechanisms’. Coming to terms with the role of technology in radical moral change, we argue, enriches our understanding of moral revolutions, and alerts us to the depths of which technology can change our societies in wanted and unwanted ways. (shrink)

New production and work practices set new proficiency requirements for employees in operative organisations. Most of these requirements involve information and communication. We can train and educate people to meet with these challenges and design their physical and information environments to support and facilitate them in their work. New information tools play a central role in this development. But what kind of tools? How to apply these tools to enhance employees’ learning by reflection. In this article we will discuss the (...) emergency of shop-floor information environment from the sociotechnical point of view. In addition, the possibilities and limitations of electronic performance support as a solution are evaluated. Shop-floor information artifacts are tools used to produce, organise, store and distribute work related information in a shop-floor environment. They may be very simple like handwritten notes or user interfaces to extremely complex data management systems. (shrink)

The problem of threat to international politics and global peace has undermined the effectiveness of the power of dialogue. The world seems to be in the condition of will to power derivable from the mutually assured destructive tendencies. Is it possible to extend global peace? How can this be achieved? In this paper, we posit that dialogue is a fundamental medium for conflict resolution and peaceful coexistence in a diverse world. We contend that monologue in international politics understood in terms (...) of might is right undermines the effectiveness of dialogue and often leads to violent conflicts within and between countries. Our world today is at a crossroads. Dialogue, however, foregrounds the medium of conflict resolution and the social consciousness of human communication. We present a hermeneutic understanding of dialogue that follows from relevant works of Hans Georg Gadamer and Jűrgen Habermas. This paper espouses the power of dialogue as a basis for the normative foundation of an emancipated social global order. The dialogical sequence has a cobweb of social interconnectedness and the ethics of global peace. We present a literal and philosophical understanding of dialogue and a contextual understanding of dialogue within the hermeneutic tradition. (shrink)

Bioethics mediators manage a wide range of clinical conflict emanating from diverse sources. Parties to clinical conflict are often not fully aware of, nor willing to express, the true nature and scope of their conflict. As such, a significant task of the bioethics mediator is to help define that conflict. The ability to assess and apply the tools necessary for an effective mediation process can be facilitated by each mediator’s creation of a personal compendium of sources that generate clinical conflict, (...) to provide an orientation for the successful management of complex dilemmatic cases. (shrink)

Evaluating the quality of research ethics committees (RECs) is crucial but challenging due to the difficulty of developing meaningful quality measures. Recently, commentators assessed ten quality instruments for RECs, including the Research Ethics Committee Quality Assurance Self‐Assessment Tool developed for RECs in the Arab Middle East. They identified several missing items in this tool regarding safeguarding participants' rights and welfare.To address these gaps, we aimed to redesign the tool. Using the Delphi method, we involved 15 REC chairs to provide feedback (...) and recommendations for a revised tool. This process led to a modified instrument that incorporated the missing items and additional elements regarding the monitoring of research conduct (an essential oversight function of RECs), and the independence of the RECs from institutional and external influences.We conclude that the revised tool effectively addresses the quality of RECs by including elements relevant to participant outcomes, board deliberations, and participant protection. The added focus on ethics oversight enhances its robustness, significantly impacting participants' rights and welfare. (shrink)

Combinatory logic and lambda-conversion were originally devised in the 1920s for investigating the foundations of mathematics using the basic concept of 'operation' instead of 'set'. They have now developed into linguistic tools, useful in several branches of logic and computer science, especially in the study of programming languages. These notes form a simple introduction to the two topics, suitable for a reader who has no previous knowledge of combinatory logic, but has taken an undergraduate course in predicate calculus and recursive (...) functions. The key ideas and basic results are presented, as well as a number of more specialised topics, and man), exercises are included to provide manipulative practice. (shrink)